Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Master: Liliana Cucu, Distributed Databases and Statistics in Computer Science, 64h, U. Dunarea de Jos, Romania (Invited Professor).

• Master: Dumitru Potop Butucaru, A synchronous approach to the design of embedded real-time systems, 30h, M1, EPITA Engineering School, Paris France.

• Master: Yves Sorel, Optimization of distributed real-time embedded systems, 38H, M2, University of Paris Sud, France.

• Master: Yves Sorel, Synchronous languages and real-time scheduling, 9H, M2, University of Paris-Est Créteil, France.

• Master: Yves Sorel, Correct by construction design of reactive systems, 18H, M2, ESIEE Engineering School, Noisy-Le-Grand, France.

Supervision

• PhD: Cristian Maxim, End to end constraints using probabilistic approaches, UPMC, defended December 2017, supervised by Liliana Cucu.

• PhD in progress: Slim Ben-Amor, Schedulability analysis of probabilistic real-time tasks under end to end constraints, UPMC, started on September 2016, supervised by Liliana Cucu.

• PhD in progress: Keryan Didier, Formal certification of real-time implementations, Université Pierre et Marie Curie/EDITE, started November 2015, supervised by Dumitru Potop Butucaru.

• PhD in progress: Cristian Maxim, End to end constraints using probabilistic approaches, UPMC, started March 2014, supervised by Liliana Cucu.

• PhD in progress: Evariste Ntaryamira, Analysis of embedded systems with time and security constraints, UPMC, started on January 2017, supervised by Liliana Cucu and Rachel Akimana.

• PhD in progress: Walid Talaboulma, Probabilistic timing analysis in presence of dependences, UPMC, started November 2015, co-supervised by Liliana Cucu and Adriana Gogonel.

• PhD in progress: Salah-Edinne Saidi, Distributed real-time scheduling for the co-simulation of multiple control models, University of UMPC-Paris-Sorbonne, started December 2014, co-supervised by Nicolas Pernet (IFPEN) and Yves Sorel.

Juries

• Liliana Cucu is Phd reviewer for the thesis of Fabrice Guet, ONERA and ISAE, defended December 2017.

• Liliana Cucu is Phd reviewer for the thesis of Bader Alahmad, University of British Columbia, defended December 2017.

• Liliana Cucu is Phd jury member for the thesis of Romain Gratia, Telecom Paritech, defended January 2017.